Creative Producers and Gender Relations: A Field Analysis of Two Grassroots Music Scenes by Diana Miller

Source URL: tspace.library.utoronto.ca

• Pierre Bourdieu
• Sociology
• Culture
• Anthropology
• Post-structuralism
• Gender studies
• Capital
• Community building
• Cultural capital
• Habitus
• Field
• Gender

PRESS ANNOUNCEMENT FOR IMMEDIATE RELEASE 11TH JULY 2016 Best Systems for Regulated City Firms Announced The leading suppliers of systems for data, market analysis, portfolio management and other

Source URL: www.goodacreuk.com

• Finance
• Economy
• Money
• Clearstream
• Luxembourg
• Goodacre

Analysis of QUAD Bo-Yin Yang1 , Owen Chia-Hsin Chen2 , Daniel J. Bernstein3 , and Jiun-Ming Chen4 1 4

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• QUAD
• Stream cipher
• Parametric equation
• Hidden Field Equations

Poster: Security Analysis of HSTS Implementation in Browsers Yan Jia1,2, Yuqing Zhang2,1 1 2

Source URL: www.ieee-security.org

• Computing
• Software
• Cryptography
• Transport Layer Security
• HTTP Strict Transport Security
• HTTP Public Key Pinning
• HTTP cookie
• Browser security
• HTTPS
• Public key certificate
• Google Chrome
• Firefox

Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Mathematical software
• Computing
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Solver
• Benchmark
• Nl

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University

Source URL: www.cs.ox.ac.uk

• Numerical methods for ordinary differential equations
• Domain decomposition methods
• Numerical analysis
• Numerical software
• Mathematical analysis
• PROPT

Page 177 TITLE 29—LABOR analysis and evaluation of research activities for which results have been obtained under governmental and nongovernmental sponsorship; an

Source URL: www.gpo.gov

KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Mathematical logic
• Logic
• Type theory
• Theoretical computer science
• Logic in computer science
• Automated theorem proving
• Reasoning
• Program analysis
• Natural deduction
• Logical framework
• Resolution
• First-order logic

Change Impact Analysis for AspectJ Programs Sai Zhang, Zhongxian Gu, Yu Lin and Jianjun Zhao Shanghai Jiao Tong University Change Impact Analysis for AspectJ Programs • AspectJ’s specific constructs requires adaptin

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Computing
• Aspect-oriented programming
• AspectJ
• Pointcut
• Join point
• Aspect
• Change impact analysis
• Compiler

Stweeler: A Framework for Twitter Bot Analysis Zafar Gilani, Liang Wang, Jon Crowcroft University of Cambridge {szuhg2, lw525, jac22}

Source URL: gdac.uqam.ca

• Bots
• Software
• Computing
• Digital media
• Twitter bot
• Twitter
• Internet bot
• Social media
• Video game bot
• Spambot
• Botnet
• CongressEdits